A dummy file.
It can be deleted.